-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b  methode formelle  methode formelle b  modèle abstrait  système prouvé 
www.methode-b.com - 2009-02-11
-
B4Free, cest aussi lAtelier B en version mono-utilisateur, capable de générer du code C grâce au traducteur CommenC. Les composants sont limités à 4000 obliga ...
application b  application b4free  bbatch  cansell  click'n prove  dominique cansell  j-r abrial  logic solver  modéisation de système  modele b  modèle b  outil b  outil b académique  outils b gratuit  projet b  proven software  systèmes sécuritaires  systèmes sûrs  télécharger b4freel  utiliser b4free 
www.b4free.com - 2009-02-13
-
Développement de logiciels avec des garanties étendues, utilisation de la méthode formelle B dans les phases de spécifications. Qualification et Sûreté
système ferroviaire 
www.clearsy.com - 2009-02-07
-
Le compilateur B est, avec le Générateur de Théorèmes et le démonstrateur de Théorèmes, lun des outils principaux de l'Atelier B. Il permet lanalyse de la synta ...
b compiler  compilateur b 
www.b-compiler.com - 2009-02-09
-
Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
www.atelierb.eu - 2009-03-09
|
informatique
industrie
atelier b
droit
multimédia
conception
avocat
juridique
entreprise
langage b
internet
noms de domaines
b4free
avocats
méthode formelle
negocios
|
|